Possibilistic calculus as a conservative counterpart to probabilistic calculus
نویسندگان
چکیده
منابع مشابه
A Probabilistic Applied Pi-Calculus
We propose an extension of the Applied Pi–calculus by introducing nondeterministic and probabilistic choice operators. The semantics of the resulting model, in which probability and nondeterminism are combined, is given by Segala’s Probabilistic Automata driven by schedulers which resolve the nondeterministic choice among the probability distributions over target states. Notions of static and o...
متن کاملA Probabilistic Calculus of Actions
We present a symbolic machinery that admits both probabilistic and causal information about a given domain and produces probabilistic statements about he effect of actions and the impact of observations. Thecalculus admits two types of conditioning operators: ordinary Bayes conditioning, P(y]X = z), which represents he observation X z, and causal conditioning, P(yldo(X = x)), read the probabili...
متن کاملProbabilistic Asynchronous pi-Calculus
We propose an extension of the asynchronous π-calculus with a notion of random choice. We define an operational semantics which distinguishes between probabilistic choice, made internally by the process, and nondeterministic choice, made externally by an adversary scheduler. This distinction will allow us to reason about the probabilistic correctness of algorithms under certain schedulers. We s...
متن کاملGentzen Sequent Calculus for Possibilistic Reasoning
Possibilistic logic is an important uncertainty reasoning mech anism based on Zadeh s possibility theory and classical logic The deduc tion rules of possibilistic logic have been obtained from classical resolu tion rule by attaching possibility or necessity weight to ordinary clauses However since not all possibility valued formulae can be converted into equivalent possibilistic clauses the res...
متن کاملProbabilistic asynchronous π-calculus
We propose an extension of the asynchronous π-calculus with a notion of random choice. We define an operational semantics which distinguishes between probabilistic choice, made internally by the process, and nondeterministic choice, made externally by an adversary scheduler. This distinction will allow us to reason about the probabilistic correctness of algorithms under certain schedulers. We s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mechanical Systems and Signal Processing
سال: 2019
ISSN: 0888-3270
DOI: 10.1016/j.ymssp.2019.106290